An Abstract Machine for the Stochastic Bioambient calculus
نویسندگان
چکیده
منابع مشابه
An Abstract Machine for the Stochastic Bioambient calculus
This paper presents an abstract machine for the stochastic bioambient calculus. The abstract machine is proved sound and complete with respect to a novel stochastic semantics, and is also shown to preserve the reduction probabilities of the calculus. The machine is implemented as an extension to an existing simulator for stochastic pi-calculus.
متن کاملAn Abstract Machine for an Object Calculus an Abstract Machine for an Object Calculus
We present an abstract machine speciication for TyCO (Typed Concurrent Objects), a name-passing calculus that aims at capturing fundamental concepts present in Concurrent Object-Oriented Languages. TyCO has built-in labeled messages and ephemeral object s that communicate asynchronously. Persistent objects are supported through instantiation of recursive classes. Concurrency is pervasive and sy...
متن کاملA Correct Abstract Machine for the Stochastic Pi-calculus
Machine for Stochastic Pi-Calculus (SPiM) ➢ Formalise how the simulator works (program specification). ➢ Prove properties about the simulator (program verification). ➢ Give greater confidence in the simulation results. ➢ Improve on existing simulators (BioSpi). Andrew Phillips BioConcur 2004 19 Machine Data Structures ➢ General Machine Term: νn1 νn2 ...νnN (Σ1 ::Σ2 :: ... ::ΣM :: []) ➢ Syntax D...
متن کاملan investigation about the appropriate stochastic modeling framework for agricultural insurance pricing
با توجه به اینکه بیمه محصولات کشاورزی در ایران بیشتر جنبه ای حمایتی دارد و خسارات گزارش شده عموما بیش از حق بیمه های دریافت شده است، در این پایان نامه به جهت تعیین قیمت بیمه محصولات کشاورزی (گندم دیم) از فرآیندهای نوفه شلیک به عنوان مدلی مناسب استفاده شده است. بر اساس داده های صندوق بیمه کشاورزی از خسارات اعلام شده در سال زراعی 1388-1389 گندم دیم، در این پایان نامه حق بیمه خالص و ناخالص این محص...
CoBiC: Context-dependent Bioambient Calculus
In biological phenomena like osmosis, the rate of flow of water molecules in or out of biological compartments depends on the solute concentration and on other forces, like hydrostatic pressure. A similar example is the passive transport of ions in and out the cell membrane. In this paper, we address the problem of faithfully modelling these kind of phenomena with an adequate process calculus. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.12.109